%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Jens von Pilgrim at 2019-08-02 10:00:29 +0200 


%% Saved with string encoding Unicode (UTF-8) 



@url{WhatWGLoader,
	Author = {{WhatWG}},
	Date-Added = {2019-08-02 09:59:47 +0200},
	Date-Modified = {2019-08-02 09:59:47 +0200},
	Title = {Loader: A Collection of Interesting Ideas},
	Url = {http://whatwg.github.io/loader/},
	Bdsk-Url-1 = {http://whatwg.github.io/loader/}}

@techreport{ECMA15a,
	Author = {ECMA},
	Date-Added = {2019-08-02 09:59:41 +0200},
	Date-Modified = {2019-08-02 09:59:41 +0200},
	Institution = {ISO/IEC},
	Month = jun,
	Number = {ECMA-262, 6th Edition},
	Title = {{ECMAScript 2015 Language Specification}},
	Type = {International Standard},
	Url = {http://www.ecma-international.org/publications/files/ECMA-ST/Ecma-262.pdf},
	Year = {2015},
	Bdsk-File-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxBKLi4vLi4vLi4vUGFwZXJzL240L0VDTUEvRUNNQTE1YSBFQ01BU2NyaXB0IDIwMTUgTGFuZ3VhZ2UgU3BlY2lmaWNhdGlvbi5wZGZPEQIOAAAAAAIOAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAADQ6BuvSCsAAAAViawfRUNNQTE1YSBFQ01BU2NyaXB0IDIjNjhBRjE3LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGivF9GzUgUAAAAAAAAAAAADAAQAAAkgAAAAAAAAAAAAAAAAAAAABEVDTUEAEAAIAADQ6A2fAAAAEQAIAADRszXlAAAAAQAUABWJrAAViYgAFX22AAbJgAACk5kAAgBPTWFjaW50b3NoIEhEOlVzZXJzOgBqcGlsZ3JpbToAUGFwZXJzOgBuNDoARUNNQToARUNNQTE1YSBFQ01BU2NyaXB0IDIjNjhBRjE3LnBkZgAADgBmADIARQBDAE0AQQAxADUAYQAgAEUAQwBNAEEAUwBjAHIAaQBwAHQAIAAyADAAMQA1ACAATABhAG4AZwB1AGEAZwBlACAAUwBwAGUAYwBpAGYAaQBjAGEAdABpAG8AbgAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAUFVzZXJzL2pwaWxncmltL1BhcGVycy9uNC9FQ01BL0VDTUExNWEgRUNNQVNjcmlwdCAyMDE1IExhbmd1YWdlIFNwZWNpZmljYXRpb24ucGRmABMAAS8AABUAAgAP//8AAAAIAA0AGgAkAHEAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAACgw==}}

@article{Ser18,
	Author = {Seriot, Nicolas},
	Date-Added = {2019-08-02 09:59:30 +0200},
	Date-Modified = {2019-08-02 09:59:30 +0200},
	Title = {Parsing JSON is a Minefield},
	Url = {http://seriot.ch/parsing_json.php},
	Year = {2018},
	Bdsk-Url-1 = {http://seriot.ch/parsing_json.php}}

@article{RFC7158,
	Author = {Bray, Tim},
	Date-Added = {2019-08-02 09:59:23 +0200},
	Date-Modified = {2019-08-02 09:59:23 +0200},
	Title = {RFC 7158: The JavaScript Object Notation ({JSON}) Data Interchange Format},
	Year = {2014}}

@article{ECMA404,
	Author = {International, ECMA},
	Date-Added = {2019-08-02 09:59:15 +0200},
	Date-Modified = {2019-08-02 09:59:15 +0200},
	Title = {Standard ECMA-404, The JSON Data Interchange Syntax},
	Year = {2017}}

@article{RFC8259,
	Author = {Bray, Tim},
	Date-Added = {2019-08-02 09:59:05 +0200},
	Date-Modified = {2019-08-02 09:59:05 +0200},
	Title = {RFC 8259: The javascript object notation (json) data interchange format},
	Year = {2017}}

@webpage{Xpect,
	Date-Added = {2019-08-02 09:58:54 +0200},
	Date-Modified = {2019-08-02 10:00:23 +0200},
	Key = {Xpect},
	Lastchecked = {2019-08-02},
	Title = {{Xpect, Project Website}},
	Type = {URL},
	Url = {https://projects.eclipse.org/projects/modeling.xpect},
	Bdsk-Url-1 = {http://www.xpect-tests.org/}}

@book{Pierce02a,
	Author = {Pierce, Benjamin C.},
	Date-Added = {2018-11-07 11:00:56 +0000},
	Date-Modified = {2018-11-07 11:00:56 +0000},
	Edition = {1},
	Isbn = {9780262162098},
	Keywords = {type system},
	Month = {2},
	Publisher = {The MIT Press},
	Title = {Types and Programming Languages},
	Year = {2002},
	Bdsk-Url-1 = {http://amazon.com/o/ASIN/0262162091/}}

@techreport{ECMA11a,
	Address = {Geneva, Switzerland},
	Date-Added = {2018-11-07 11:00:10 +0000},
	Date-Modified = {2018-11-07 11:00:10 +0000},
	Institution = {ISO/IEC},
	Keywords = {JavaScript},
	Month = jun,
	Number = {ECMA-262, 5.1 Edition},
	Title = {{ECMAScript Language Specification}},
	Type = {International Standard},
	Url = {http://www.ecma-international.org/publications/standards/Ecma-262.htm},
	Year = {2011},
	Bdsk-Url-1 = {http://www.ecma-international.org/publications/standards/Ecma-262.htm}}

@manual{N4JSSpec,
	Author = {{N4JS Project}},
	Booktitle = {N4JS Language Specification},
	Date-Added = {2018-11-07 10:55:33 +0000},
	Date-Modified = {2018-11-07 10:57:01 +0000},
	Title = {N4JS Language Specification},
	Url = {https://www.eclipse.org/n4js/spec/N4JSSpec.html},
	Year = 2018,
	Bdsk-Url-1 = {https://www.eclipse.org/n4js/spec/N4JSSpec.html}}
